Execution Model Inversion